<!DOCTYPE html>
<html>
    <head>
        <meta charset="utf-8">
        <style>
            a:visited { color: darkblue; }
            a:link    { color: darkblue; text-decoration: none; }
            a:hover   { color: red; font-weight: bold; }

            table             { border-spacing: 0; }
            td                { border-right: 1px solid black; border-bottom: 1px solid black; padding: 5px; }
            td:first-child    { border-left: 1px solid black; }
            tr:first-child td { border-top: 1px solid black; }
        </style>
    </head>
    <body>
        <p><a name="state0"><b>0</b></a></p>
        <p>1: &apos;a&apos; -> <a href="#state1">1</a></p>
        <p>2: &apos;b&apos; -> <a href="#state0">0</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state1"><b>1</b></a></p>
        <p>1: &apos;a&apos; -> <a href="#state1">1</a></p>
        <p>2: &apos;b&apos; -> <a href="#state2">2</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
            &nbsp;&nbsp;<a href="#state1">1</a>
            &nbsp;&nbsp;<a href="#state2">2</a>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state2"><b>2</b></a></p>
        <p>1: &apos;a&apos; -> <a href="#state1">1</a></p>
        <p>2: &apos;b&apos; -> <a href="#state3">3</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state1">1</a>
        </p>

        <p><a name="state3"><b>3</b></a></p>
        <p>1: &apos;a&apos; -> <a href="#state1">1</a></p>
        <p>2: &apos;b&apos; -> <a href="#state0">0</a></p>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;(&apos;a&apos;&nbsp;|&nbsp;&apos;b&apos;)*&nbsp;&apos;a&apos;&nbsp;&apos;b&apos;&nbsp;&apos;b&apos;&nbsp;=&gt;&nbsp;Test</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>
    </body>
<html>
